type GreaterThan<T extends number, U extends number> = BuildArr<T> extends [...BuildArr<U>, ...infer R]
    ? R extends []
        ? false
        : true
    : false